Incremental Checkpointing based on Java Source Code Refactoring

In this project, incremental checkpointing is developed specifically for Java programs. This checkpointing scheme has a flavor of source code refactoring, which performs almost all the (rule-based) transformation automatically, requiring few (or no in many cases) interaction with the programmer. Incremental checkpointing bases on a logging technique that records the change in states instead of complete snapshots of states, as is typically done in a serialization scheme. This enables it to be widely applicable to most existing Java programs. Performance loss due to the extra operations for this checkpointing is small enough to make it practical. Real-time property of the checkpointing system may be provable, which will be further explored in our future work.